Updated Temasek Kernel to 200713-0747