need this fix for printf/scanf