Had problems with usual makefile, this seems to work