Commit updates after running new openberkeley-dev.make