diff --git a/scripts/update_eigen.sh b/scripts/update_eigen.sh
index d1338e4d..d3d367f5 100755
--- a/scripts/update_eigen.sh
+++ b/scripts/update_eigen.sh
@@ -7,13 +7,8 @@ fi
 ARC=$1
 
 INITDIR=`pwd`
-rm -rf lib/Eigen
-ARCDIR=`tar -tf ${ARC} | head -n1 | sed -e 's@/.*@@'`
-tar -xf ${ARC}
-cd ${ARCDIR}
-(tar -cf - Eigen --exclude='*.txt' 2>/dev/null) | tar -xf - -C ../lib/
 cd ../lib
 echo 'eigen_files =\' > Eigen.inc
 find Eigen -type f -print | sed 's/^/  /;$q;s/$/ \\/' >> Eigen.inc
 cd ${INITDIR}
-rm -rf ${ARCDIR}
+