fix filename for compiled executor