Update version/berkfiles against v4.1.2rc