attempt to fix travis compilation