Fix for #71

A versions file is also filled now even when the printing of pinned versions is switched off.