add .tex extension to bonuschecked