Fix for hdevtools: update patch to build with ghc 7.8.3
Merge pull request #3610 from ts468/hdevtools

Fix for hdevtools: update patch to build with ghc 7.8.3