diff --git a/extern/ENCRYPTO_utils b/extern/ENCRYPTO_utils
index 9bb8af36..dd219d4a 160000
--- a/extern/ENCRYPTO_utils
+++ b/extern/ENCRYPTO_utils
@@ -1 +1 @@
-Subproject commit 9bb8af36cde8c23465c385145561bcba5adf217d
+Subproject commit dd219d4a17c98d050b06283869223d776770a1ef
diff --git a/src/abycore/circuit/booleancircuits.cpp b/src/abycore/circuit/booleancircuits.cpp
index a2a47383..d99b00de 100644
--- a/src/abycore/circuit/booleancircuits.cpp
+++ b/src/abycore/circuit/booleancircuits.cpp
@@ -2250,8 +2250,9 @@ std::vector<uint32_t> BooleanCircuit::PutFPGate(const std::string func, std::vec
 
 std::vector<uint32_t> BooleanCircuit::PutGateFromFile(const std::string filename, std::vector<uint32_t> inputs, uint32_t nvals){
 	std::string line;
-	std::vector<uint32_t> tokens, outputs;
-	std::map<uint32_t, uint32_t> wires;
+	std::vector<int> tokens;
+	std::vector<uint32_t> outputs;
+	std::map<int, uint32_t> wires;
 
 	std::ifstream myfile;
 
@@ -2303,6 +2304,10 @@ std::vector<uint32_t> BooleanCircuit::PutGateFromFile(const std::string filename
 					wires[tokens[2]] = PutXORGate(wires[tokens[0]], wires[tokens[1]]);
 					break;
 
+				case 'V': // OR Gate
+					wires[tokens[2]] = PutORGate(wires[tokens[0]], wires[tokens[1]]);
+					break;
+
 				case 'M': // MUX Gate
 					wires[tokens[3]] = PutVecANDMUXGate(wires[tokens[1]], wires[tokens[0]], wires[tokens[2]]);
 					break;
@@ -2342,8 +2347,9 @@ share* BooleanCircuit::PutLUTGateFromFile(const std::string filename, share* inp
 
 std::vector<uint32_t> BooleanCircuit::PutLUTGateFromFile(const std::string filename, std::vector<uint32_t> inputs){
 	std::string line;
-	std::vector<uint32_t> tokens, outputs;
-	std::map<uint32_t, uint32_t> wires;
+	std::vector<int> tokens;
+	std::vector<uint32_t> outputs;
+	std::map<int, uint32_t> wires;
 	std::vector<uint32_t> lut_inputs, lut_outputs, token_outputs;
 
 	uint32_t n_inputs, n_outputs, ttable_vals, ctr;
@@ -2463,7 +2469,7 @@ std::vector<uint32_t> BooleanCircuit::PutLUTGateFromFile(const std::string filen
 
 uint32_t BooleanCircuit::GetInputLengthFromFile(const std::string filename){
 	std::string line;
-	std::vector<uint32_t> tokens;
+	std::vector<int> tokens;
 	std::ifstream myfile;
 
 	//std::cout << "opening " << filename <<  std::endl;