Slightly customised version of KiTTY