new version of module.mk for mongoose considered