Manually add one of my patches to Chisel