Minor fix in build system