A few more fixes in mandoku-install