The original bitcode file should not be deleted.