Travis build 420, commit ed31bbf6fb80cdeb7ebb02b33844b8c06414a622, pushed to gh-pages