Adds forgotten mysql-lib and tweaks instructions