HMRC offers a Linux version of Basic PAYE Tools, but it recently stopped working