Fix for internal issue #227: "Replace all occurences of non-standard header malloc.h with stdlib.h"