properties file to enable Galaxy export