python runtime: fix behaviour of -s CLI option when given file doesn't exist.

15 months ago, Edouard Tisserant