added optdefs.pl