Fix Windows 10 terminals, use a Linux terminal · Tim Visée