attempt to fix build #58 on TravisCI