[boost] Different kinds of line endings in CVS?