* moved mpi.mod into the -dev package
* *.so in /usr/lib/openmpi/lib/openmpi/ should be in a versionned directory


