small cleanup

disabled Jenkins as well