add different flavor for ubuntu13.04