Make LaunchDistCeylon test work on Windows