Fix use of provisioning flags to choose Ubuntu OS

Related to #20