Update rpython buffer
Update timings
Update Makefile