proper syntax for loading of libraries with numbers in their names