Annoying tmp.z3 files are now gitignored
non-exhaustive patterns fix