release 0.7.6 as hotfix for 0.7.5.