Fix bugs about default hyperdrive

Fixes #2875