make compilable on linux