php-gtk is a stub port
