to set Portal as index on IPB 4.2 you just need to click the star next to the Application on App List in ACP, it makes Portal to the default Application and loads it on index.
no need to edit any files anymore...
btw. @Mike John any news on Boxes at both sides of Portal? (since 4.2 update maybe)