__FILE__ etc