Travis: Use -B option instead of make clean.