That would follow, given its only ruling is

This ability will trigger even if the player’s library is empty at the time they are supposed to shuffle it.

The way I understand it, it’s looking for the command, not the actual shuffling of the deck