Work around an issue with 9p file system on 13.1 - for some reason, I cannot exec shell scripts residing on 9p

Signed-off-by: Olaf Kirch <okir@suse.de>