the 5.1.1 file is correct, notice the <type>LICENSE_FILE</type> and that the <client_id> is filled with your client id.
You can use this 5.1.1 file with your 5.1.2 installation