compat with other mima implementations
Merge branch 'gh-pages' of github.com:phiresky/mima into gh-pages