use alternative repository for boost version