Fixes modman file

With original modman file, installation didn't succeed; we corrected the modman file in order to let installation work.