Make stuff work on Linux