# Default values for invalidcrdsdir.