Add FIXME re Windows
Fix shell invokation