Tweak dev.txt to fix travis builds