Fix for PHP

Same workaround needed as flash target.