SQUASHME: make Travis happy