fixes to ext name trick with config.w32