synchronisting options between config.pp and init.pp