[RCD] Patch to make RC 0.3.1 work with PHP 5.3