Make stuff work under linux