check_mandatory_commands.bash.inc: added to common library