fixes for mksh