Installed latest devel build from today, and guess what? Librocket works like a charm!
Thanks for all your work rdb 
BTW: If I can ask, you work a lot on panda3D, do you work for the University or Disney? Because, Panda3D seems to be very active for a open-source project?
cheers
Mathias