php5 was finally removed from ozlabs.org, but php7.2 seems to work fine.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au>