Fix install to work with the latest installation of OpenHRP 3.0.7