Trying to fix jenkins not finding boost problem