Fix typo in build file, fixes #830