Setting"mixer_timeModifier" in the respetive config file to any value that is less than 1.0 makes the game crash (https://pastebin.com/S1qvN8zJ). Changing time modifiers for other machines works as expected.