Fix a bug in the build process