hm, let's go for php5.4