added dependency on php 5.3.0