Fixed a typo/bug in the build system