minor attempt to fix Ctrl+C blocked issue