* upgrade boost to 1.54 for ubuntu 13.10