config.w32 can have multiple extensions, care about it