mono/mono-tools — pull request #37 by tpokorra (2013-12-05 21:20:16+00:00)
Title: fixing make and make install of mono-tools against Mono 3.2.x

I needed to make these changes so that I was able to build mono-tools against Mono 3.2.5.