Sören Tempel authored Oct 03, 2015 and Natanael Copa committed Oct 03, 2015

Instead of patching the broken Makefile I decided to install the
relevant files manually. Other major linux distributions (e.g. arch
linux) also do it this way.