Tested this today: it works fine!
In the meanwhile,I also found this:
https://forum.mysensors.org/topic/2725/sensebender-micro/30
My platformio.ini file:
[platformio]
src_dir = WindowOpenSensor
[env:sensebender-micro]
platform = atmelavr
board = pro8MHzatmega328
framework = arduino
monitor_speed = 19200
lib_deps =
548 ; MySensors