Conflicts:
coin/platform_configs/default.txt
This also reverts c9d5341307 as on macOS
10.11 in 5.9 we're using a fresh virtual machine template that doesn't
have stale virtualenv/python installations.
Change-Id: Iab50fde0388c97967ada7c40374345ce4327613a