Fix build

gcc-plugin/tests/pointer-tasks.c

@@ -14,7 +14,7 @@
    You should have received a copy of the GNU General Public License
    along with GCC-StarPU.  If not, see <http://www.gnu.org/licenses/>.  */
 
-/* (instructions run (ldflags "-lstarpu-1.2")) */
+/* (instructions run (ldflags "-lstarpu-1.3")) */
 
 #undef NDEBUG
 

gcc-plugin/tests/scalar-tasks.c

@@ -14,7 +14,7 @@
    You should have received a copy of the GNU General Public License
    along with GCC-StarPU.  If not, see <http://www.gnu.org/licenses/>.  */
 
-/* (instructions run (ldflags "-lstarpu-1.2")) */
+/* (instructions run (ldflags "-lstarpu-1.3")) */
 
 #undef NDEBUG