Bumped sub-module "benjamins" to latest version.