Fix for non linux platforms, see #4