tinyproxy fix for ubuntu