updated comments in deal.II/platform ubuntu14