Leif Mortenson - 2022-01-10

The file extensions are actually decided by the JVM. Those are the extensions that Java is expecting when loading JNI native libraries. I don't think there is anything we can do about it.
Other UNIX platforms also have other extensions.
I agree that it would be nice to be able to keep them all the same.

Cheers,
Leif