Adding stdio for asprintf on Wormulon