Make makefile compatible with Ubuntu which uses sh as the default shell

````[[```` is a bash-ism. Ubuntu switched to ````sh```` as the default shell and without this change ````make pygments```` says: ````/bin/sh: 1: [[: not found````