add notice on leavevmode; hack to allow input file in current dir