default battlecode files