fix config.w32
renamed clashing symbols