Due to instability and leaks in libproxy, VLC now uses the executable
binary from libproxy-tools instead directly calling the functions.