travis build for some other php version