GitLab

we don't use anything the features may set up, so loading them just
wastes time. this may change if we start processing extracompilers
properly.