options.hpp: don't fail if an invalid command-line short option is passed