Fix with fox 1.7.42, where fxsleep() has been replaced by FXThread::sleep().