Update tf4.mk