added more terminal control options for Ubuntu 12.04