made it compile on linux