Fix on linux