Further files from the mc-dev repository