more ptxdist patches

Two things here. First is the patch from Michael Olbrich which appeared as is in the ptxdist project. I use this with ptxdist for months now, it works. The other one is a typo Michael Olbrich fixed in Robert Schwebel's patch which was part of my patch set in da3b71831811749a41c9a08d7d42e77e537a0bdf. Because I reapplied the ptxdist patches to fdf99b50314edd0b15077b31b86846c8d4a235b3 and made a rebase to master, this one appears as changeset from Robert fixing this typo. 

I confirmed compiling and linking on Debian Wheezy.