Minor memory management improvements
(disabled log of memory usage)
Authored by: bruno.herbelin@gmail.com 2014-12-29
Parent: [r970]
Child: [r972]