The bug (experienced on GNU/Linux) fixed.