Fix building ctrl+enter extension with older versions of vala
Fix building ctrl+enter extension with older versions of vala

dokidokivisual/midori,dokidokivisual/midori,dokidokivisual/midori,dokidokivisual/midori,dokidokivisual/midori