Update full_coconut.mk