Allowing applications to set their own HPX_PREFIX