Latest CVS of Pike 7.3 doesn't install - or is it just me?