specification env dev boxfile