Bugfix: let's not simply assume that there is an argv to be read...