devel: Adjusted the build command to work with the recently changed build options
devel: Adjusted the build command to work with the recently changed build options
Mantella/Mantella,SebastianNiemann/Mantella,Mantella/Mantella,Mantella/Mantella,SebastianNiemann/Mantella,SebastianNiemann/Mantella