fix handling multiple x10 files as input