monkey-patching pipeline to make it list files in a deterministic order (so we get the same output on every server)