Fix build file for CI