Small fix for linux