Make php extension compilation for travis more verbose