release 0.7.1 to fix the portal rendering issue. Fixes #278, fixes #283