make link to ARMC work
nudge bib for SV-COMP
nudges