Fix Travis; attempt 4 (apt is annoying)