Updating hilbert~.module for recent fix of model file name