added more patches to build boost 1.48 on Ubuntu 13.04