Call .NET destructor from PHP destructor