forgot to update vga.h for print_str