Fix script error if $ARGV was undefined