make jenkins happier
ignore more things.