minor fix in build system