remove references to ttylinux; remove unnecessary header