Tiny speed-up of the build