Fix an error with boost 1.53 and std=gnuc++11