Update and rename validus.mk to carbon.mk