Make sure unset skip-dev option does not cause an error