Satconfig: Exception for config "satposdepends"