Remove deprecated options from the default config.
Remove unused symbol R_IP_PBL.