oops, don't crash for missing .vexrc
handle FileNotFoundError more simply in run