Fixing the PHP compiler to work with TServiceException