configure: Avoid BASHisms for better portability