fixes #10: fixes building with newer version of boost#12

jaredweiss wants to merge 1 commit intograspit-simulator:mastergraspit-simulator/graspit_interface:masterfrom

jaredweiss:masterjaredweiss/graspit_interface:masterCopy head branch name to clipboard