BTW what is this option? I get 
```
$ make

Compiling.... main.c

cc: error: unrecognized command line option ‘-fno-delete-null-pointer-check’
make: *** [/home/martin/Repositories/RIOT-OS/RIOT/examples/default/bin/native/default/main.o] Fehler 1
```