For some reason, the example "Nokia_lcd_menu" uses a timer2 scheme to update the buttons. This was not working with my copy of the board, causing it to hang in mid-draw in several places in the code.
I made explicit calls to update_adc_key() to be done regularly within loop() and wait_for_OKkey()'s inner loop, and all was well. All was well on the USB power, anyway.
When I switched to 9V battery power, the joystick buttons were really confused. I think it's wired with a resistor ladder, so it can all be done on one analogRead() pin, but with a slightly flat battery, the reference voltage must have been off. It couldn't decode some buttons, and it confused the meaning of the other buttons. A fresh 9V battery restored full function to the inputs.
I think the Arduino 0013 compiler built the library and demo smaller than the original on 0011 or 0012, too, but I didn't write down the total sketch sizes.