diff --git a/README.md b/README.md
index 069f309..b34ea83 100644
--- a/README.md
+++ b/README.md
@@ -12,7 +12,7 @@
 
 ## Requirements
 
-* Barefoot SDE >= 9.0.0 (with the P4_16 compiler for Tofino)
+* Barefoot SDE = 9.0.0 (with the P4_16 compiler for Tofino)
 * ONOS >= 2.2.1
 * Docker (to run the build scripts without worrying about dependencies)
 * cURL (to interact with the ONOS REST APIs)
diff --git a/src/main/p4/build.sh b/src/main/p4/build.sh
index 4407bea..b2ce8c7 100755
--- a/src/main/p4/build.sh
+++ b/src/main/p4/build.sh
@@ -35,6 +35,8 @@
 # PWD is the directory where this script is called from (should be the root of
 # this repo).
 P4C_OUT=${PWD}/tmp/${PROFILE}
+# Prevent the creation by docker run
+mkdir -p ${P4C_OUT}
 
 # DIR is this file directory.
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"