use more customary lowercase filename for configure script