wmpager: allow WMPAGER_DEFAULT_INSTALL_DIR to be defined in $FLAGS