bugfix in MIC taskscheduler code, added second wait call in linearbarrier to ignore internal number of threads