Fix GNU/Linux speed bug