#31: Roll back to php 5.3