workaround not needed for supported PHP version