FIX: exporting to WFDB format under linux