@vince, could you try the latest version (16.12.30)? It could make Manager to work on 32-bit Ubuntu again.