configure script: portability fix