Make it work under linux