fix problems on linux