use PROGRAMS to install openhrp3 bins