I'm not sure where these options come from. What's -15 9 default?