travis ci fixed PHP version