diff --git a/copy_headers.sh b/copy_headers.sh
index d769044be95..fa5b94fc267 100755
--- a/copy_headers.sh
+++ b/copy_headers.sh
@@ -63,5 +63,6 @@ done
 # Even more platform-specific headers
 for src_file in $(ls -1 $SOURCE_PATH/contrib/libboost/boost_1_65_0/boost/smart_ptr/detail/*);
 do
+    mkdir -p "$DST/$(echo $src_file | sed -r -e 's/\/[^/]*$/\//')";
     cp "$src_file" "$DST/$src_file";
 done