fixing travis compilation