Run tools/dev/mk_manifest_and_skip.pl so that sort.pir gets added to the manifest