'default' option required on plain tex