travis hacking: switch -lboost_{file,}system