changing clock in cdc_com_port_single example (microchip777)

When i build the cdc_com_port_single example(using starter kit 3, PIC32MX470) as it is it builds successfully. when i change the clock speed from 8MHz to 12MHz via the MHC, the project does not build successfully. Below are my build errors: ../src/app.c:6..