update php setup for ubuntu 13.04