diff --git a/README.md b/README.md
index b6675bfd716924e17c0965cd72d76e66c45c2337..668868a97b7b740ed869e5b42dac641164f6fc47 100644
--- a/README.md
+++ b/README.md
@@ -13,8 +13,9 @@
 
 ## Complilation
 
-Use a Rust toolchain with a llvm4 backend.
+Use a Rust toolchain with a llvm4 backend, e.g., nightly-2018-01-10-x86_64-unknown-linux-gnu.
 
+> rustup override set nightly-2018-01-10-x86_64-unknown-linux-gnu
 
 > xargo build --example empty --features klee_mode --release --target x86_64-unknown-linux-gnu