Small fix to build file