indentation in External-HDF5.cmake