boost directory is specified during configuration of Rivet