Fixing problems with HPX_PREFIX, this is related to #1252: HPX_PREFIX is too fragile