Fix devel/Makefile after r447548
Unfortunately I mistyped the entries...
Pointy hat to: tcberner
Reported by: antoine