Bugfix: `make install` did not work.