Issue #143: fixes for Un*x run-scripts. Thanks to R.Diez for mentioning this.