#1628: remove unneeded install file.

All it had was an update hook, which doesn't need porting.