Fixing setting of HPX_PREFIX