Travis build 417, commit 19b630ac517539610bba6e440a3fdb1ee37a039d, pushed to gh-pages