"Default" theme is now named "basic"