improve compatibility for precompiled binaries on the nevis platform