Issue with 0012 checkout

I checked out the latest 0012 build for OSX, but got an error that traced to line 12 of wProgram.h. In particular, I had to change this:

unsigned long pulseIn(uint8_t pin, uint8_t state, unsigned long timeout = 1000000L);

to:

unsigned long pulseIn(uint8_t pin, uint8_t state, unsigned long timeout);

before the code would run without an error. This is the first time I've tried to checkout and run the Arduino IDE, so perhaps I'm missing something....

Wayne