Added local version of gtksourceview headers