Make Profile.init more flexible (fix #7365)
Merge pull request #7475 from JuliaLang/teh/profileinit

Make Profile.init more flexible (fix #7365)