Properly compile boost against libstdc++ instead of libc++