New flags: stdout and lhs2tex.