hackage4nix.hs: improve badPackagePaths to match Agda stdlib