Minor tweaks to modcooker command line options