Add configure option for boost