This should probably be skipped if ./configure is included