Stupid jenkins build hack in makefile :D