fix linux bug introduced in c3221c565c9b36f230399592e7b29f1fd3e24a75, closes #2