fix for linux perhaps