Make the unzip always work, that way we can call it from a script.

Author: nouiz

data/download.sh

@@ -1,5 +1,5 @@
 #!/bin/sh
 
 wget -c http://www.iro.umontreal.ca/~lisa/deep/data/mnist/mnist.pkl.gz
-wget -c http://www.iro.umontreal.ca/~lisa/deep/data/Nottingham.zip && unzip Nottingham.zip
-wget -c http://www.iro.umontreal.ca/~lisa/deep/midi.zip && unzip midi.zip -d ../code && echo "extracted Modified Python MIDI package (GPL)"
+wget -c http://www.iro.umontreal.ca/~lisa/deep/data/Nottingham.zip && unzip -f Nottingham.zip
+wget -c http://www.iro.umontreal.ca/~lisa/deep/midi.zip && unzip -f midi.zip -d ../code && echo "extracted Modified Python MIDI package (GPL)"