diff --git a/tools/merge_package_lists b/tools/merge_package_lists old mode 100755 new mode 100644