add file required by hackage