@ -19,3 +19,6 @@ mv "$1/include/eigen3/unsupported/Eigen" "$1/include/eigen3/Eigen/unsupported"
rm -R "$1/include/eigen3/unsupported"
mv "$1/include/eigen3/Eigen" "$1/include/"
rm -R "$1/include/eigen3"
mv "$1/include/Eigen" "$1/"
rmdir "$1/include"
mv "$1/Eigen" "$1/include"