fix make on linux