Enabling the twentytwelve theme by default if not defined