1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
index 594f1f4..453e5bd 100644
--- a/README.md
+++ b/README.md
@@ -534,6 +534,8 @@ Once keys are moved to hardware, they cannot be extracted again, so make sure yo
 
 Also consider using a [paper copy](http://www.jabberwocky.com/software/paperkey/) of the keys as an additional backup measure.
 
+You can also use the pre-compiled executables available at [veracrypt.fr](https://www.veracrypt.fr/en/Downloads.html)
+
 To format and encrypt a USB drive on Linux, first attach it and check its label:
 
     $ dmesg | tail