Fixing compilation for linux