Ensure the output of manifest.py is deterministic.