bugfix in main.cpp / adding shoc libs to polybench