ALTER TABLE "User" ALTER COLUMN "iconPreference" SET DEFAULT 'pixel';