The ECLiPSe module system doesn't provide a `user` pseudo-module