Fix location of prefer_xmodules