[firedrake] fire-drake installer issue