Adapt script to build also the Java tools for Patmos.