Update full_p715.mk