diff --git a/devTools/check.py b/devTools/check.py
index 364d4260df0a1929098e9e0e77ef1c87b087faf8..ddb1682f3734c9406c537167dfc42601a8af5088 100755
--- a/devTools/check.py
+++ b/devTools/check.py
@@ -7,7 +7,7 @@ WARNING = '\033[93m'
 ENDC = '\033[0m'
 
 def myprint(*args):
-    print(WARNING, filename + ":", ENDC,*args)
+    print(WARNING, fileinput.filename() + ":", ENDC,*args)
 
 def yield_line_and_islastline(f):
     global filename
@@ -72,6 +72,7 @@ try:
 except UnicodeDecodeError as e:
     myprint(e)
     print("   Hint: In linux, you can get more details about unicode errors by running:")
-    print("     isutf8", filename) 
+    print("     isutf8", fileinput.filename())
+    print("   :Note it might be caused by ", filename)