Note that I have installed the "make your arduino sketch size smaller" patch on 0007 and it seems this fix is included.