make it compatible php 5.3