Use newer xdebug on the final php 5.3 versions