This is ancient and no longer necessary.
Merge branch 'next' of github.com:zhdk/leihs into next