My recent change for gcc8.2 changed the naming convention for devkits in
jib-profiles.js (used for builds at Oracle). This messed up the rare
occasions when we configure for a 32bit windows target. This patch fixes
that situation specifically for windows 32/64 where we use the same devkit.