No longer needed with latest configure.in