Polish some whitespace in the emitted vcc_if.[ch] files