travis says "error: unknown option `--ignore-leaks"...