Fix so that it works on linux