download map after joining server; fixes #4324; also fixes #3877;