Fixes for fannkuch benchmark