diff --git a/Sources/ThirdParty/Wrappers/Petsc/Vector/Internal/VectorHelper.cpp b/Sources/ThirdParty/Wrappers/Petsc/Vector/Internal/VectorHelper.cpp
index 4289e52fd77617a4e9f2377d76f07a6c11031f4c..19b658822494e754d47bfe8189c784c4e0f3a0b0 100644
--- a/Sources/ThirdParty/Wrappers/Petsc/Vector/Internal/VectorHelper.cpp
+++ b/Sources/ThirdParty/Wrappers/Petsc/Vector/Internal/VectorHelper.cpp
@@ -13,6 +13,7 @@
 
 
 #include <iomanip>
+#include <cstring> // required by gcc for std::memcpy.
 
 #include "Utilities/Filesystem/File.hpp"
 #include "Utilities/OutputFormat/OutputFormat.hpp"
@@ -58,7 +59,10 @@ namespace MoReFEM
                                                        std::ofstream::binary);
 
                             const auto array = content.GetArray();
-                            out.write(reinterpret_cast<const char *>(array), Nvalue * sizeof(double));
+                            const auto Nbits = Nvalue * sizeof(double);
+                            std::vector<char> binary_values(Nbits);
+                            std::memcpy(binary_values.data(), array, Nbits);
+                            out.write(binary_values.data(), static_cast<long>(Nbits));      
                             out.close();
                             break;
                         }
diff --git a/Sources/Utilities/OutputFormat/ReadBinaryFile.cpp b/Sources/Utilities/OutputFormat/ReadBinaryFile.cpp
index 99dd75c9727d45a4f3d2174b56d97d5e4074a5e2..9945a071c621993e7f8221586585d9883ac249b7 100644
--- a/Sources/Utilities/OutputFormat/ReadBinaryFile.cpp
+++ b/Sources/Utilities/OutputFormat/ReadBinaryFile.cpp
@@ -10,6 +10,7 @@
 
 #include <fstream>
 #include <cmath>
+#include <cstring> // required by gcc for std::memcpy.
 
 #include "Utilities/Exceptions/Exception.hpp"
 #include "Utilities/OutputFormat/ReadBinaryFile.hpp"
@@ -46,12 +47,12 @@ namespace MoReFEM::Advanced
 
             in.close();
 
-            // Buffer contains the entire file. Convert bytes back into doubles.
-            const double * values = reinterpret_cast<double *> (buffer.data());
+             // Buffer contains the entire file. Convert bytes back into doubles.
+            const unsigned long Ndouble_values = static_cast<std::size_t>(block_size) / sizeof(double);
+            std::vector<double> values(Ndouble_values);
+            std::memcpy(values.data(), buffer.data(), static_cast<std::size_t>(block_size));
 
-            const unsigned long Nvalue_binary = static_cast<std::size_t>(block_size) / sizeof(double);
-
-            for (std::size_t i = 0u; i < Nvalue_binary; ++i)
+            for (std::size_t i = 0u; i < Ndouble_values; ++i)
             {
                 if (std::fabs(values[i]) <= epsilon)
                     ret.push_back(0.);