fix travis/coverage run (176785e)