INSTALL: regenerate after recent autoupdate