fix to work on Linux