Fix of a problem in the build system