github page build debugging
Merge branch 'master' into gh-pages

* master:
  github page build debugging