Change pointer character on Linux as the default one is displayed too big.