Fix gdb use again, and only run against PHP 5.5