Fix bug #3727: race condition on install