now require PHP >= 5.4.0