restore base-ext in ext/