fix post-configuring ext/Setup