I REALLY hope this was the issue on linux too!