Made BanachFixpoint.v compile