bnoordhuis: and then sudo make install?