>>40
char file_names_buf[0x10000];
が大きすぎるみたい。0xFFFFだといける。