I’ve also encountered a case where a FLAC generated in WaveLab could not be read by a JVC device, even though (thanks to the GPL) the device’s manual states it uses libFLAC … but doesn’t say what version. I have had no issues with FLAC generated with WaveLab anywhere else, so as far as I’m concerned it’s the JVC device that’s at fault.
Nevertheless I have an interest in knowing how to update FLAC for use in WaveLab …