add https workaround for crazy ubuntu bug.