32bits version of Ubuntu might just work too.