Apply patch from upstream to fix idris 0.9.5.1 sandbox violations