add credit to PHP-GetOpts