Fix bug where default tile size would not be set properly.
Fix bug where default tile size would not be set properly.

HIPERFIT/futhark,diku-dk/futhark,HIPERFIT/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,diku-dk/futhark,HIPERFIT/futhark