[prototype travis] fixup