fix segfault with php 5.5 & auto_prepend_file