Fixes to make Duke build on Travis.