I stand corrected :) They have hard coded filenames as above.