ttyrec and ttygif