The classic recommendation is to find a Torx bit that's ever so slightly larger, hammer it in, then undo the screw.
In those dimensions, I've never had much luck with the reverse-thread extractors.