Make print_dinos actually print to stdout