Update and rename carbon.mk to validus.mk