Allows extension to be compiled with php 5.4