PHP version 5.5 seems to work.