Why is it still necessary to edit the linux makefile in order to switch between release and debug or 32 vs. 64 bit? The windows one has had proper targets at least for the former issue for ages.