Sanguino + DAC + RTC + Altoids

Cool.
I am wondering: do you need to adapt some libraries (those containing Serial, millis etc) for the 12MHz clock?
How much?