Fix: minimal PHP version — 5.4