exp: get rid of the #line bug workaround