Small fix for linux.