Added AM_DISTCHECK_CONFIGURE_FLAGS and Jenkins cleans workspace first