This should fix #39 on GNU/Linux