For now, we only care about php 5.5