travis: fix a mistake on options ordering for coverage