GNU/kFreeBSD fix by Petr Salinger, fixes Bug#712709