Updated documentation on pitfalls of running with PHP5.3