Intern configuration: use OSX 10.9 instead of 10.8