[ ATP-pragma ] Fixed Agda version in mk/paths.mk