you have to fix it manually for linux

:(