Made it compile with last corestar update.
(changes with mk_psequent, resolved naming issues.)