Thanks Ted for resolving the issue yourself and letting us know how you fixed it. Indeed knowing the differences between the broken and working versions of the default-profile file would have been nice, but at least you know where to look if it happens again.