Running ./Portal returns bogus error: ./Portal: No such file or directory

[WestFred]

I just setup Portal on 64-bit Ubuntu:
uname -a
Linux io 3.8.0-19-generic #29-Ubuntu SMP Wed Apr 17 18:16:28 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux

When I run Portal from the /usr/lib/portal directory it returns:
bash: ./Portal: No such file or directory

I get the same message if I run it under gdb so it is loading Portal.
gdb reports "Reading symbols from /usr/lib/portal/Portal...done." so it seems it loaded in okay..maybe.
I don't know if it's some generic 32-bit executable on 64-bit system error or Portal giving me a bad error message.

Any idea what's wrong. I got one of those beannie hats at Design West and want to try it out but can't get Portal running.

I would rather have lots of cluttering error messages than 1 clean bogus error.

Documentation said it would make a ~portal directory but I don't see that.

I installed Linux Portal after putting Ubuntu 13.04 on a HP Compaq 6910p.

Thanks
-Fred

[mgenti]

We currently only support 32-bit Ubuntu 12.04 LTS. Can you please try with that version?