just in case this doesn't work in future: see: https://bugs.launchpad.net/ubuntu/+source/sdcc/+bug/1077918