add alternative dummy codeclib_free

closes #1030

Change-Id: I360b74b8f3b0f1e8ef3ec26be3f4d94031b770f7

lib/codeclib.h

@@ -291,6 +291,9 @@ INLINE void codeclib_init(int print) {
 	if (print)
 		printf("No codecs supported.\n");
 }
+INLINE void codeclib_free(void) {
+	;
+}
 
 INLINE const codec_def_t *codec_find(const str *name, enum media_type type) {
 	return NULL;