fixes undeclared getopt and optopt on Ubuntu 13.10