Instead of recurring problems with non-executable permissions on
files in scripts/, just call them as "sh <script>".