Fixing name clashes with tinydtls 0.4.0