Add some settings for Marvericks