compiles again with latest corestar

(in branch with same name)