running CORE—Common Open Research Emulator—in debian running CORE—Common Open Research Emulator—in debian