Move to havana release

This changes the default release to havana.