fixes #752 configure script could be more robust
2 files changed