PHP Bugfixes
Example launcher update