Merge "phan: Don't hardcode 'php7.0' binary"