Fix ntopng 64-bit filename