use more portable syntax in configure script