manual/installing: fix paths