use same skipif as php5