Deleted Catch patch as fix is now on github