Hopefully fix #travis build