Missing php extension after cvs upgrade