Small changes, updated boost