Deployment target fix for #803