[Bug 796901] mono-tools has been failing to build in Factory for a long time