Workaround for pika bug in Debian 7.7 in pingerlib