Minor update in the build system