Minor fix in the build system