Manpages of gdb-msp430 in Debian wheezy