Remove the "default" theme and make the "flexible" theme the new default