Fix arduino Makefile
@@ -11,7 +11,7 @@ DTLS += aes.c aesni.c arc4.c asn1parse.c asn1write.c base64.c bignum.c blowf
sha1.c sha256.c sha512.c threading.c timing.c version.c version_features.c \
xtea.c pkcs11.c x509.c x509_crt.c debug.c net_sockets.c ssl_cache.c ssl_ciphersuites.c \
ssl_cli.c ssl_cookie.c ssl_srv.c ssl_ticket.c ssl_tls.c rsa_internal.c x509write_csr.c\
- x509write_crt.c x509_create.c
+ x509write_crt.c x509_create.c platform_util.c
DTLSFLAGS=$(addprefix -I$(ROOT_DIR)/, security deps/mbedtls/include) -D__OC_RANDOM
