(c) Fix bug introduced in last changes

AVC applications didn't run caused by an error in xtend
Library export didn't work in some cases