Hello, I have just installed a fresh copy of ubuntu 10.10. I installed padre (`sudo apt-get install padre`) but when I try to run it I immediately get a segmentation fault. Dave