phpVersionOperator does not work very well...