Apparently, this file is needed for ./configure