* tests/mini/deref.c: bugfix