__FILE__ is a real path