How can I build 64 bit boost libraries on Linux, preferably using gcc?