* Remove ptmalloc3 once and for all.
	* malloc_wrapper.cc: Throughout fix format specifiers in malloc_printf.