CFLAGS issue fixed in RIOT