Work around travis/bash issues