Alias the php5 branch as 2.0.x for now