New comment by sgn on void-packages repository https://github.com/void-linux/void-packages/pull/28996#issuecomment-784198843 Comment: Anyway, is it correct to move `ompi_monitoring_prof.so` to `-devel`