Make hobbes work on linux.