StackExchange.Redis now working (not optimized) on Mono 3.2 for both Windows and Linux