ion3-dev: script-not-executable ./usr/lib/ion3/libextl/libextl-mkexports