Executing of script files is now possible (was bug or forgotten) anyway
this fixes it.
You can now do /bin/wash <script file>