Make the profiling depend on an environment variable "SIPB_XEN_PROFILE" being set...