fix the script so it REALLY works on Linux