Bugfix for compilation without VexCL