diff --git a/pkg/hacl/Makefile b/pkg/hacl/Makefile
index cf3f0d5634..59ffa9408d 100644
--- a/pkg/hacl/Makefile
+++ b/pkg/hacl/Makefile
@@ -6,7 +6,6 @@ PKG_LICENSE=MIT
 .PHONY: all
 
 all: git-download
-	@cp $(RIOTBASE)/pkg/hacl/src/* $(PKG_BUILDDIR)
 	"$(MAKE)" -C $(PKG_BUILDDIR) -f $(CURDIR)/Makefile.$(PKG_NAME)
 
 include $(RIOTBASE)/pkg/pkg.mk
diff --git a/pkg/hacl/patches/0001-RIOT-Use-RIOT-random_bytes-function-instead-of-rando.patch b/pkg/hacl/patches/0001-RIOT-Use-RIOT-random_bytes-function-instead-of-rando.patch
new file mode 100644
index 0000000000..6a189cf050
Binary files /dev/null and b/pkg/hacl/patches/0001-RIOT-Use-RIOT-random_bytes-function-instead-of-rando.patch differ
diff --git a/pkg/hacl/src/randombytes.c b/pkg/hacl/src/randombytes.c
deleted file mode 100644
index e318dfa3b2..0000000000
--- a/pkg/hacl/src/randombytes.c
+++ /dev/null
@@ -1,18 +0,0 @@
-/*
- * Copyright (C) 2016 Kaspar Schleiser <kaspar@schleiser.de>
- *
- * This file is subject to the terms and conditions of the GNU Lesser
- * General Public License v2.1. See the file LICENSE in the top level
- * directory for more details.
- */
-
-#include <stdint.h>
-
-#include "random.h"
-
-
-void randombytes(uint8_t *target, uint64_t n)
-{
-    /* HACL* (haclnacl.c) needs uint64_t as "n" parameter, random provides uint32 */
-    random_bytes(target, n);
-}