fix for travis, hopefully