installs gibbon, bugfix