I think we should change from the default 1.5 to 1.7 now, or even to 1.8 (what is master set to right now?)