read_slepc_config.patch
