BASH script uses getopts