Fix visitors on Linux;