fix compilation errors

Gabriele Contini

2020-03-15 a1b64080d1525a7a65e53f33d1a3fd257957e732

 src/library/hw_identifier/hw_identifier_facade.cpp

@@ -55,7 +55,7 @@
   HwIdentifier pc_id;
   FUNCTION_RETURN result = strategy_ptr->identify_pc(pc_id);
   if (result != FUNC_RET_OK) {
      /// FIXME
      throw logic_error("strategy " + to_string(strategy_ptr->identification_strategy()) + " failed");
   }
   os::ExecutionEnvironment exec;
   os::VIRTUALIZATION virtualization = exec.getVirtualization();