Fix to do not create useless extra bat files