slight change to configure script to make it run