Use catalog file instead of boxfile so users can use vagrant box update