Fix for linux compilation