[boost] Binary files in CVS not marked as binary