[autotex] Better interruption handling
[autotex] Don't print "OK" when command failed