throw exception if PHP version not supported