Consider the case where binrary GHC download works