Fix size mismatch errors in mkDerivedConstants.c