Fix choice of GHC download for debian-based systems