我可以使用比编译时更新版本的共享openmpi库来运行程序吗？

Question

我遇到与openmpi库版本相关的问题。最近我安装了openmpi（1.10.2）的最新稳定版本，其中一个程序停止工作。运行时出现错误消息：

  加载共享库时出现

错误：libmpi.so.1：无法打开共享对象文件：没有这样的文件或目录

的确，我的系统中没有这样的文件。但是有一个更新版本的库 - libmpi.so.12和libmpi.so.12.0.2。其他程序，使用openmpi，没有任何错误，这证明库已正确安装（至少我认为是这样的（:)。

不幸的是，我不知道使用哪个版本的openmpi来编译程序。我无法访问其源代码，因此我无法针对较新的库进行编译。我注意到如果我将libmpi.so.12复制到名为libmpi.so.1的文件中，我可以运行程序

因此，我有两个问题：

1. 使用我找到的解决方法是否合理？我有一些疑问，虽然该计划似乎运行良好。
2. 有没有办法检查编译期间使用了哪个版本的openmpi库？

提前致谢。

编辑： 我使用Linux Mint 17.3。