have boost install non-mangled library names
changed update command for our own packages to always 'git pull'