caenlib - debian 7 32bit works