finding the linux bug (in progress)