This way the packages should be compatible with all versions we support regardless PHP version used to build the release. Fixes #13831 Signed-off-by: Michal Čihař <michal@cihar.com>