hdevtools compiles

Hackage version of hdevtools has been languishing due to this patch. When Hackage is updated, I will remove the patching.