Attempts to fix travis compilation