Converting 88.2 KHz wav to FLAC?

[wombat]

Rockbox allows recording (eg from vinyl) of 88.2KHz wav files on the iaudio X5L. These sound absolutely superb, and oggenc-aotuv451 gives great oggs from them. But could someone please advise on how they can be converted to a lossless compressed format like FLAC? Preferably using linux programs. Do they need to be resampled to 96KHz, and if so how  is this done, please?
Many thanks.

[linuxstb]

You should be able to convert them to FLAC like any other WAV files - have you tried "flac file.wav" ?

[wombat]

I had, but got the following error message:

MonksDream_1.wav: ERROR initializing encoder
                  state = FLAC__STREAM_ENCODER_NOT_STREAMABLE

The encoding parameters specified do not conform to the FLAC Subset and may not
be streamable or playable in hardware devices.  Add --lax to the command-line
options to encode with these parameters.

So running "flac --lax *.wav" works.

Thanks again.