Fixes #102 Skipfish option changes between 2.02 and 2.05