Fixed problems with inferno build process