It's 2013, let's use php5.4