Removed last traces of virgilio.log without $.