Try to fix my fix for linux compilation ;)