diff --git a/script/install_HDF5.sh b/script/install_HDF5.sh
index 9ecfb9f440cb0460a1aefd3d789454c64e272fde..7e21087e62bfad5045053713f2756a39e1cbc56b 100755
--- a/script/install_HDF5.sh
+++ b/script/install_HDF5.sh
@@ -6,7 +6,7 @@ discover_os
 
 # check if the directory $1/HDF5 exist
 
-if [ -d "$1/HDF5" ]; then
+if [ -d "$1/HDF5" -a -f "$1/HDF5/include/hdf5.h" ]; then
   echo "HDF5 is already installed"
   exit 0
 fi