cdrtoos: version bumped to 3.01a12.