Re-instate the explicit casts after malloc in proxy.c that had disappeared by mistake in a bad merge. Matthieu be more carefulgit status!