Add debug file, as suggested in #15