Make polyml HOL build successfully when HOLDIR includes spaces.