Merging debian/patches
Merge pull request #625 from Fantu/master

Merging debian/patches