no eindhoven in config