we can now load .portal files