Manpages of gpsprune in Debian wheezy