Temporary batch file for windows, this one uses cmake