update openmpi to 1.6.4