minor fixes in allocator and app-gl