small fix to make it work on Linux