Attempted fix for make distcheck on Jenkins.