fixes php 5.3 5.4 compile error