VMWare player, fixing “virtual disk needs repair”

This one pops up from time to time, and VMWare Player has no tool to fix it. Worry no more, Christos Matskas found the solution.