deps on php 5.3