make google dasein part compilable after latest changes in dasein-core