do './hints/linux.pl';