PHP-GTK Obfuscator GUI