mrbc to take multiple files, preserving debug information if -g given; close #1243