now really use python2.7, if it exists
Merge branch 'master' into prefer-python-2.7

Conflicts:
	Makefile