Patch to F# 3.1