php-bugs@gentoo.org PHP Console_Getopt