Make sure it still works under Linux