Check on Python headers is now effective...
Merge branch 'master' into release