i had exact the same question a couple of days ago. it is a bug of pix_record that it writes movies with hardcoded framerate of 20 per second.
Only on Linux is this the case. Windows and OSX use timers to determine how long each render cycle takes and use that time as the duration of each frame.