Thank you so much for reporting the problem to us! We'll look into what's causing this and how to redeploy for Linux soon.