A little fix to the build script