linux: Additional Debian build options