Update rt-audio to version 4.0.12