kiel v12 build file changes