WIP: extension compilation