remove inferno (bug 1077585)
Merge pull request #762 from ngokevin/rminferno

remove inferno (bug 1077585)