Fix linux build

Note: requires a recent lib boost (1.56 tested ok, 1.42 no)

http://sourceforge.net/projects/boost/files/boost/1.56.0/