Make compilable under linux