whonix: Don't try to add Makefile if Whonix repo does not exist