Remove src/mapper.patch as thanks to the mapper proxy, we no longer need to patch TinTin.