work around outdated travis boxes