diff -r 809581724cc7 -r 0358f1d9c506 configure --- a/configure Sat Apr 15 21:06:45 2023 +0200 +++ b/configure Mon May 22 16:17:26 2023 +0200 @@ -465,8 +465,8 @@ do cat >> $TEMP_DIR/make.mk << __EOF__ -OBJ_EXT = o -LIB_EXT = a +OBJ_EXT = .o +LIB_EXT = .a PACKAGE_SCRIPT = package_osx.sh __EOF__ @@ -488,8 +488,8 @@ do cat >> $TEMP_DIR/make.mk << __EOF__ -OBJ_EXT = o -LIB_EXT = a +OBJ_EXT = .o +LIB_EXT = .a PACKAGE_SCRIPT = package_unix.sh __EOF__