www/hotcrp: attempt to fix