fix for grid5000
add properties file