ignore undefined const for the moment and replace missing aux definitions