Fixed build file to make Jenkins (external builds) work right