Bugfix: wrong shared mem size