extern "C" {
  int kpse_clear_dir_cache (void) {return 0;}
}