Cleaned up VexCL-related code