update #274: fix configure and travis (part 4)