Rename "default" to prevent CI problems