embryo: handle filename given to #line command