another fix for getopts