Fix compilation with --disable-files