fix Travis-CI failures