Adding some instructions about downgrading PHP to 5.2 on Ubuntu 12.10