[Hackage] #819: Pass extra parameters of 'configure' to user hooks