Issue #248: update travis