use python3 on os x and linux