fix for linux #111