includes for gcc 4.7.2 on ubuntu 12.10