Yet another build fix for Travis...