fix types for linux