Linux fixes #734