nordtheme/mintty not found