work around an Ubuntu mount bug