There is a lintian override for the fact that this script with a
hash-bang line is not installed with execute permission.
libextl/Makefile would install it as executable and I can't see any
explanation for the override, so let's fix it. (Not that anyone is
likely to care about ion3-dev any more.)