Fixing a bug that make Eiffel generated .so file loading failed on Android.