build: try to fix builds with jenkins?