Get rid of intermittent TravisCi error