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