fix for linux gcc