fix startup issues if pygments is already installed