New file added to the list of source files for Make (fixes Jenkins build problem, _aot)