(I realise pipe here doesn't work on windows)