Update TARGET_linux-x86_64.mk