update Makefile

12 jobs for devel in 70 minutes and 47 seconds (queued for 2 seconds)