reworked for just 2 builds : production (default), and devel ($devel=[1])