Fixing #1252: HPX_PREFIX is too fragile