make it work under linux