made compilable under linux