[build] Update the manifest which makes Configure.pl happy again