Attempt to fix travis compilation