Travis build 72, commit 25612276765b464e7a7d6fe0ea6ad96d087d34e2, pushed to gh-pages