another travis fixup with debug