Cast some types for linux