Fix travis build (istanbul doesn't like circular links)