#25 is now ok in GNU/Linux, as is #27