Update full_pascal2.mk